$\forall$$g$:OCMon.
\\[0ex]Linorder($\mid$$g$$\mid$;$x$,$y$.$\uparrow$($x$ $\leq_{b}$ $y$))
\\[0ex]\& Cancel($\mid$$g$$\mid$;$\mid$$g$$\mid$;$\ast$)
\\[0ex]\& ($\forall$$z$:$\mid$$g$$\mid$. monot($\mid$$g$$\mid$;$x$,$y$.$\uparrow$($x$ $\leq_{b}$ $y$);$\lambda$$w$.$z$ $\ast$ $w$))